Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
11	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
12	the AVOCABO VOCABULARY SERIES Words denoting Loudness vs Faintness Add to Reading List Source URL: www.bookhooks.com Language: English - Date: 2005-07-31 20:54:34 Software engineering Computer programming Programming language theory Language Learning to read Lexicography Vocabulary J
13	ADA COMPLIANCE AND FINAL ACCEPTANCE OF CONSTRUCTED FACILITIES JSP-10-01ADescription. The contractor shall comply with all laws pertaining to the Americans with Disabilities Act (ADA) during construction of pedes Add to Reading List Source URL: spexternal.modot.mo.gov Language: English Software engineering Computing Programming language theory Contract law Civil engineering Construction (Design and Management) Regulations Americans with Disabilities Act Ada Construction Subcontractor General contractor
14	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
15	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
16	Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2015-02-16 13:00:00 Software engineering Compiler optimizations Compiler construction Programming language theory Computing Data-flow analysis Control flow graph Variable Scope Static single assignment form Aliasing Program analysis
17	Fall 2015: EECS Textbook Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class se Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-08-27 14:39:22 Software engineering Computing Programming language theory Textbooks Ada Digital textbook
18	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
19	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
20	CHAPTER V. Thomas Haskell and his Descendants, -Continued. William Lunt, of whom and his ledger, mention was made in the preceding chapter, would seem, according to the ledger, to have had business dealings with most of Add to Reading List Source URL: www.westbrookhistoricalsociety.org Language: English - Date: 2009-10-31 21:59:19 Portland Maine metropolitan area Software engineering Programming language theory Computer programming Westbrook Maine Haskell Falmouth Maine Falmouth Massachusetts

UPDATE